David P. McAllester: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (9)
Най-популярни
Списък
- Списък
- Таблица

1

Worlds of Music: An Introduction to the Music of the World's Peoples , Fifth Edition

Worlds of Music: An Introduction to the Music of the World's Peoples , Fifth Edition

Jeff Todd Titon, Timothy J. Cooley, David Locke, David P. McAllester, Anne K. Rasmussen

Година:

2008

Език:

english

Файл:

PDF, 20.73 MB

0 / 0

english, 2008

2

Worlds of Music : An Introduction to the Music of the World’s Peoples , Shorter Version, Third Edition

Worlds of Music : An Introduction to the Music of the World’s Peoples , Shorter Version, Third Edition

Jeff Todd Titon, Timothy J. Cooley, David Locke, David P. McAllester, Anne K. Rasmussen

Година:

2009

Език:

english

Файл:

PDF, 25.09 MB

0 / 0

english, 2009

3

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

Година:

1999

Език:

english

Файл:

PDF, 21.68 MB

0 / 0

english, 1999

4

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Година:

1999

Език:

english

Файл:

DJVU, 3.65 MB

0 / 0

english, 1999

5

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Година:

1999

Език:

english

Файл:

PDF, 12.61 MB

0 / 0

english, 1999

6

Walther recursion

Walther recursion

David McAllester, Kostas Arkoudas

Език:

english

Файл:

PDF, 191 KB

0 / 0

english

7

Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000

Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000

David A. McAllester

Година:

2000

Език:

english

Файл:

PDF, 4.06 MB

0 / 0

english, 2000

8

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

John Harrison (auth.), David McAllester (eds.)

Година:

2000

Език:

english

Файл:

PDF, 5.04 MB

0 / 0

english, 2000

9

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

John Harrison (auth.), David McAllester (eds.)

Година:

2000

Език:

english

Файл:

PDF, 7.97 MB

0 / 0

english, 2000